Enum isotope::term::Form [−][src]
pub enum Form { Null, Head, Beta, Eta, HeadEta, BetaEta, }
Expand description
Forms a term can be in
Variants
No particular form
Head normal form
Beta normal form
Eta normal form
Head eta normal form
Beta-eta normal form
Implementations
Trait Implementations
Auto Trait Implementations
impl RefUnwindSafe for Form
impl UnwindSafe for Form
Blanket Implementations
Mutably borrows from an owned value. Read more
Borrow an optional value of type T
Compare self to key
and return true
if they are equal.